BackgroundThe ARRIVE (Animal Research: Reporting of In Vivo Experiments) guidelines are widely endorsed but compliance is limited. We sought to determine whether journal-requested completion of an ARRIVE checklist improves full compliance with the guidelines.MethodsIn a randomised controlled trial, manuscripts reporting in vivo animal research submitted to PLOS ONE (March–June 2015) were randomly allocated to either requested completion of an ARRIVE checklist or current standard practice. Authors, academic editors, and peer reviewers were blinded to group allocation. Trained reviewers performed outcome adjudication (...) in duplicate by assessing manuscripts against an operationalised version of the ARRIVE guidelines that consists 108 items. Our primary outcome was the between-group differences in the proportion of manuscripts meeting all ARRIVE guideline checklist subitems.ResultsWe randomised 1689 manuscripts (control: n = 844, intervention: n = 845), of which 1269 were sent for peer review and 762 (control: n = 340; intervention: n = 332) accepted for publication. No manuscript in either group achieved full compliance with the ARRIVE checklist. Details of animal husbandry (ARRIVE subitem 9b) was the only subitem to show improvements in reporting, with the proportion of compliant manuscripts rising from 52.1 to 74.1% (X2 = 34.0, df = 1, p = 2.1 × 10−7) in the control and intervention groups, respectively.ConclusionsThese results suggest that altering the editorial process to include requests for a completed ARRIVE checklist is not enough to improve compliance with the ARRIVE guidelines. Other approaches, such as more stringent editorial policies or a targeted approach on key quality items, may promote improvements in reporting. (shrink)

This collection of essays on themes in the work of John Locke , George Berkeley , and David Hume , provides a deepened understanding of major issues raised in the Empiricist tradition. In exploring their shared belief in the experiential nature of mental constructs, The Empiricists illuminates the different methodologies of these great Enlightenment philosophers and introduces students to important metaphysical and epistemological issues including the theory of ideas, personal identity, and skepticism. It will be especially useful in courses devoted (...) to the history of modern philosophy. (shrink)

An orthodox review of work on kant from 1955 to 1965 concentrating on (1) the continental school, Holding kant's interest to be in founding a practical-Dogmatic metaphysics, With its main work being done on the early period, Things in themselves, And the categories; (2) questions about the fischer-Trendelenburg controversy on the relation of "transcendentally ideal" to "transcendentally real"; (3) english work throwing light on the aesthetic and on the analytic, With the still obsessive concern for the second analogy; (4) the (...) continuing debate on whether the categorical imperative is a moral criterion, And its relation to the golden rule; and (5) the important work on the concepts of freedom and the highest good. (shrink)

These two texts are fundamental for the understanding not only of Neoplatonism but also of the conventions of biography in late antiquity. Neither has received such extensive annotation before in English, and this new commentary makes full use of recent scholarship. The long introduction is intended both as a beginner’s guide to Neoplatonism and as a survey of ancient biographical writing.

A (normal) system of propositional modal logic is said to be complete iff it is characterized by a class of (Kripke) frames. When we move to modal predicate logic the question of completeness can again be raised. It is not hard to prove that if a predicate modal logic is complete then it is characterized by the class of all frames for the propositional logic on which it is based. Nor is it hard to prove that if a propositional modal (...) logic is incomplete then so is the predicate logic based on it. But the interesting question is whether a complete propositional modal logic can have an incomplete extension. In 1967 Kripke announced the incompleteness of a predicate extension of S4. The purpose of the present article is to present several such systems. In the first group it is the systems with the Barcan Formula which are incomplete, while those without are complete. In the second group it is those without the Barcan formula which are incomplete, while those with the Barcan Formula are complete. But all these are based on propositional systems which are characterized by frames satisfying in each case a single first-order sentence. (shrink)

In a number of publications A.N. Prior considered the use of what he called ‘metric tense logic’. This is a tense logic in which the past and future operators P and F have an index representing a temporal distance, so that Pnα means that α was true n -much ago, and Fn α means that α will be true n -much hence. The paper investigates the use of metric predicate tense logic in formalising phenomena ormally treated by such devices as (...) multiple indexing or quantification over times. (shrink)

How might experimental media art help theorise what falls by the wayside in the digital public sphere? Working in the years immediately following the launch of YouTube in 2005, some media artists centred their creative praxis towards the end of that decade upon rescuing, revalorising, and placing back into digital circulation audiovisual media formats and technologies that appeared aged or obsolete. Although there may be a degree of nostalgia behind such practices, these artworks articulate a cogent critique of the drive (...) towards constant innovation that was responsible for the invention and global expansion of cinema, but in recent decades has been responsible for its decay—or, perhaps more accurately, for its perpetual transformation. The article explores this 'media-archaeology' sensibility as a way of thinking about AI more widely: an approach that sees histories of media not as a linear, chronological search for origins, but as a critical recovery of artefacts lodged discontinuously in multiple layers of the past. Although digital technologies form a central part of the creative process of the artists considered in this article, their works also act as a critical conscience about digital change, asking what the so-called digital revolution is leaving out, and leaving behind. In so doing, it illuminates some potential positive and negative impacts of digital technologies' mediation of new forms of public engagement, whether in art, archives, or on social media. (shrink)

The aim of this paper is to consider some logical aspects of the debate between the view that the present is the only 'real' time, and the view that the present is not in any way metaphysically privileged. In particular I shall set out a language of first-order predicate tense logic with a now predicate, and a first order (extensional) language with an abstraction operator, in such a way that each language can be shewn to be exactly translatable into the (...) other. I shew that this translation is preserved at the metalinguistic level, so that equivalent truth conditions can be defined in a tensed metalanguage or an indexical metalanguage. I then make some remarks about the connection between proofs of relative consistency and metaphysical truth; and some historical remarks about Arthur Prior's use of formal logic in expressing his presentist views. (shrink)

In celebrating Arthur Prior we celebrate what he gave to the world. Much of this is measured by what others have made of his ideas after his death. The focus of this paper is a little different. It looks at what Prior himself thought he was accomplishing. In particular it considers Prior’s attitude to the semantic metatheory of the logics that he was interested in. The paper sets out some characteristics of the metalogical study of intensional languages in terms of (...) an indexical theory of truth conditions stated in the language of set theory. In examining Prior’s work using these characteristics, it emerges that Prior had serious reservations about this way of studying modal and tense logics. (shrink)

This paper explores a modal analogue of Hugh Mellor''s version of McTaggart''s argument against the reality of tense. I show that if Mellor''s argument succeeds in showing that the present moment cannot be any more real than any other moment then it also shows that the actual world cannot be any more real than any other possible world.

In Book Γ of the Metaphysics Aristotle states and attempts to prove what he calls the basic principle of the science of being as being: the law of non‐contradiction. In this paper I defend an interpretation of his proof, inspired by Elizabeth Anscombe's 1961 essay in ‘Three Philosophers’, though some of its features were remarked on by Lukasiewicz in 1910, according to which Aristotle is proving this principle only for substance predicates, and that it is to be understood as the (...) basic principle of metaphysics rather than of logic. It is the principle that every substance has an essential nature, and if it is of the essential nature of x to be F then it cannot be of the essential nature of x to be not‐F since then x's being F and x's being not‐F would be the same. He puts it by saying that in such a case F and not‐F would ‘signify the same’ for x. Since they do not, x cannot be both. (shrink)

At one point in his treatise against the ‘Gnostics’ Plotinus treats his adversaries as men of flesh and blood, not merely as proponents of false books and false beliefs: For I feel a certain shame with regard to some of my friends , who, having chanced upon this doctrine before the beginning of our friendship, have continued to adhere to it for reasons that I cannot understand. Not that they themselves show any compunction in saying what they say: they may (...) believe what they say to be true , but perhaps they rather wish others to be persuaded of the truth of their own opinions. (shrink)